#include <stdio.h>
int main()
{int p,w,s;
float t;
double f;
scanf("%d %d %d",&p,&w,&s);
if(s<250)
    t=0.00;
else if(s<500&&s>=250)
    t=0.02;
else if(500<=s&&s<1000)
    t=0.05;
else if(1000<=s&&s<2000)
    t=0.08;
else if(2000<=s&&s<3000)
t=0.10;
else
    t=0.15;
f=p*w*s*(1-t);
printf("%.2f",f);

    return 0;
}
